Max Planck Institute for Software Systems - PDFSEARCH.IO - Document Search Engine

Max Planck Institute for Software Systems
Results: 61

#	Item
31	Temporal Text Ranking and Automatic Dating of Texts Vlad Niculae1 , Marcos Zampieri2 , Liviu P. Dinu3 , Alina Maria Ciobanu3 Max Planck Institute for Software Systems, Germany1 Saarland University, Germany2 Center for Co Add to Reading List Source URL: aclweb.org Language: English - Date: 2014-04-18 10:20:22
32	A Core Calculus for Provenance Umut A. Acar1 , Amal Ahmed2 , James Cheney3 , and Roly Perera1 1 Max Planck Institute for Software Systems {umut,rolyp}@mpi-sws.org Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-04-12 15:52:23
33	Dual Analysis for Proving Safety and Finding Bugs Corneliu Popeeaa , Wei-Ngan Chinb a Max Planck Institute for Software Systems (MPI-SWS) b National University of Singapore Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2013-07-17 21:22:36
34	Fairness Constraints: A Mechanism for Fair Classification Muhammad Bilal Zafar with Isabel Valera, Manuel Gomez Rodriguez and Krishna P. Gummadi Max Planck Institute for Software Systems (MPI-SWS) Add to Reading List Source URL: www.fatml.org Language: English - Date: 2015-07-29 15:47:50
35	PeerReview: Practical Accountability for Distributed Systems Andreas Haeberlen†‡ , Petr Kuznetsov† , and Peter Druschel† † Max Planck Institute for Software Systems, ‡ Rice University Add to Reading List Source URL: www.news.cs.nyu.edu Language: English - Date: 2007-12-03 04:42:15
36	Dual Analysis for Proving Safety and Finding Bugs Corneliu Popeea Max Planck Institute for Software Systems (MPI-SWS) Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2013-07-17 06:32:08
37	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution
38	Monday, 18 May:30–8:45 Opening 8:45–10:15 Attacks and Defenses Tuesday, 19 May 2009 Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2009-05-31 21:45:48 Max Planck Institute for Software Systems Max Planck Institute for Computer Science University of California Berkeley Max Planck Society Saarland University National Institute for Research in Computer Science and Control University of California Microsoft Research Privacy Association of Public and Land-Grant Universities Ethics California
39	Residential Broadband Networks: Characteristics and Implications Marcel Dischinger, Andreas Haeberlen, Krishna P. Gummadi, and Stefan Saroiu† Max-Planck-Institute for Software Systems, †University of Toronto 1. Moti Add to Reading List Source URL: broadband.mpi-sws.org Language: English - Date: 2007-11-15 11:53:17 Comcast Latency Internet service provider Technology Engineering Electronics Broadband Network performance Traffic shaping
40	Notes on Counting with Finite Machines Dmitry Chistikov Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbrücken, Germany Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2014-12-11 10:15:34 Theoretical computer science Computer science Nested word Pushdown automaton Deterministic pushdown automaton Turing machine Nondeterministic finite automaton SC Deterministic finite automaton Automata theory Theory of computation Models of computation

UPDATE